Functional programming - PDFSEARCH.IO - Document Search Engine

Functional programming
Results: 3706

#	Item
181	C Program Specialization Master’s Thesis (revised version) Lars Ole Andersen DIKU, Department of Computer Science, Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:06 Software engineering Computing Computer programming Logic in computer science Formal methods Programming language implementation Functional languages Programming paradigms Partial evaluation Programming language Operational semantics Functional programming
182	Corrections for DYNAMIC PROGRAMMING AND OPTIMAL CONTROL: 3RD, 4TH, and EARLIER EDITIONS by Dimitri P. Bertsekas Athena Scientific Last Updated: Add to Reading List Source URL: athenasc.com Language: English - Date: 2015-11-13 01:12:58 Mathematical analysis Analysis Distribution Functional analysis Expected value
183	university of copenhagen department of computer science Faculty of Science Add to Reading List Source URL: staff.fnwi.uva.nl Language: English - Date: 2014-01-14 07:20:59 Software engineering Computing Theoretical computer science Logic in computer science Compiler construction Programming language implementation Semantics Compiler Eval Denotational semantics Correctness Functional programming
184	HabaneroUPC++: a Compiler-free PGAS Library ∗ Vivek Kumar† , Yili Zheng‡ , Vincent Cavé† , Zoran Budimli´c† , and Vivek Sarkar† † Rice Add to Reading List Source URL: nic.uoregon.edu Language: English - Date: 2014-10-08 11:47:00 Software engineering Computing Computer programming Parallel computing Concurrent programming languages Control flow Programming paradigms Functional languages Await Futures and promises Concurrent computing Partitioned global address space
185	Advances in Programming Languages APL14: Further language concurrency mechanisms David Aspinall (including slides by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-02-24 17:48:20 Computing Software engineering Computer programming Concurrent programming languages Inter-process communication Functional languages Concurrent computing Edsger W. Dijkstra Process calculi Actor model Message passing Scala
186	Supero: Making Haskell Faster Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Higher-order functions Programming language comparisons Functional languages Recursion Literate programming Fold Haskell Map XS
187	XQTC: A Static Type-Checker for XQuery Using Backward Type Inference Pierre Genevès Nabil Layaïda Add to Reading List Source URL: gnome.inrialpes.fr Language: English - Date: 2014-10-07 08:54:38 Software engineering Logic Type theory Computer programming Data types Functional languages Recursive data type Monad Type inference FO XQuery Inference
188	Features as First-class Entities – Toward a Better Representation of Features ¨ Sagar Sunkle, Marko Rosenmuller, Norbert Siegmund, Syed Saif ur Rahman, Gunter Saake Add to Reading List Source URL: www.infosun.fim.uni-passau.de Language: English - Date: 2008-10-06 13:11:44 Software engineering Computing Computer programming Functional languages Object-oriented programming languages Concurrent programming languages Programming paradigms Scripting languages Aspect-oriented software development Object-oriented programming Feature model Objective-C
189	[Faculty of Science Information and Computing Sciences] Applied Functional Programming USCS 2011 Add to Reading List Source URL: foswiki.cs.uu.nl Language: English - Date: 2011-08-16 05:40:43 Software engineering Computing Computer programming Functional languages Concurrent programming languages Literate programming QuickCheck Scala Haskell Software bug
190	Sonic Partial Deduction Jonathan Martin and Michael Leuschel Declarative Systems and Software Engineering Group Technical Report DSSE-TR-99-3 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:04 Mathematics Logic Functions and mappings Mathematical logic Logic programming Automated theorem proving Append Functional programming Lisp Unfolding Substitution Atomic formula

UPDATE